propositional calculus - Deutsch Englisch Wörterbuch